A State Transition Based Cache Side Channel Attack Model

Abstract Over the last decades, Cache Side Channel Attack (CSCA) seriously threatens security of user information, which repeatedly highlights cache. Even though secure cache design can mitigate or defend against this attack, high period and tap-out cost reduce development specific designs. Therefore, many researchers focus on proposing a model to analyse CSCA simplify design. Nowadays, be divided into 1) Indicator analysis model; 2) verify 3) abstract model. However, most these models establishment phase CSCA, regardless usage CSCA. On other hand, granularity is either entire single line, can’t describe behaviour in clearly. To overcome limitations, we proposed novel based state transition gave formal specification by work. Firstly, summarize 11 basic states set point target process Then from three aspects: pre-attack cost, detection accuracy, gives more comprehensive